Chris Dale (eds.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (12)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

Springer-Verlag London

Nancy G. Leveson (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 5.37 MB

0 / 0

english, 2009

2

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Springer-Verlag London

Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 4.21 MB

0 / 0

english, 2011

3

Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

Springer-Verlag London

Nancy G. Leveson (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 6.29 MB

0 / 0

english, 2009

4

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Springer-Verlag London

Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 7.64 MB

0 / 0

english, 2011

5

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Greg Morrisett (auth.), Chris Hawblitzel, Dale Miller (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 4.26 MB

0 / 0

english, 2012

6

Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

Springer-Verlag London

Nancy G. Leveson (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 7.29 MB

0 / 0

english, 2009

7

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Springer-Verlag London

Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 5.22 MB

0 / 0

english, 2011

8

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Springer-Verlag London

Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 7.41 MB

0 / 0

english, 2011

9

Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

Springer-Verlag London

John Rushby (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 12.10 MB

0 / 0

english, 2010

10

Achieving Systems Safety: Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

Achieving Systems Safety: Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

Springer-Verlag London

Martyn Thomas (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 6.26 MB

0 / 0

english, 2012

11

Life Cycle Management For Dependability

Life Cycle Management For Dependability

Springer-Verlag London

Felix Redmill, Chris Dale (auth.), Felix Redmill, Chris Dale (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 18.53 MB

0 / 0

english, 1997

12

Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

Springer-Verlag London

John Rushby (auth.), Chris Dale, Tom Anderson (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 12.09 MB

0 / 0

english, 2010